Empirical Comparison of Test Data Generation Techniques using Activity Diagrams
نویسندگان
چکیده
منابع مشابه
Comparison of Search based Techniques for Automated Test Data Generation
One of the essential parts of the software development process is software testing as it ensures the delivery of a good quality and reliable software. Various techniques and algorithms have been developed to carry out the testing process. This paper deals with utility of the nature based algorithms namely Genetic Algorithm, Ant Colony Optimization algorithm and Artificial Bee Colony algorithm i...
متن کاملDiversity oriented test data generation using metaheuristic search techniques
We present a new test data generation technique which uses the concept of diversity of test sets as a basis for the diversity oriented test data generation – DOTG. Using DOTG we translate into an automatic test data generation technique the intuitive belief that increasing the variety, or diversity, of the test data used to test a program can lead to an improvement on the completeness, or quali...
متن کاملEfficient test case generation for validation of UML activity diagrams
Unified Modeling Language (UML) is widely used as a system level specification language in embedded system design. Due to the increasing complexity of embedded systems, the analysis and validation of UML specifications is becoming a challenge. UML activity diagram is promising to modeling the overall system behavior. However, lack of techniques for automated test case generation is one major bo...
متن کاملcomparison of catalytic activity of heteropoly compounds in the synthesis of bis(indolyl)alkanes.
heteropoly acids (hpa) and their salts have advantages as catalysts which make them both economically and environmentally attractive, strong br?nsted acidity, exhibiting fast reversible multi-electron redox transformations under rather mild conditions, very high solubility in polar solvents, fairly high thermal stability in the solid states, and efficient oxidizing ability, so that they are imp...
15 صفحه اولCoverage-Directed Test Generation Using Symbolic Techniques
In this paper, we present a verification methodology that integrates formal verification techniques with verification by simulation, thereby providing means for generating simulation test suites that ensure coverage. We derive the test suites by means of BDD-based symbolic techniques for describing and traversing the implementation state space. In our approach, we provide a high-level of contro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Computer Applications
سال: 2012
ISSN: 0975-8887
DOI: 10.5120/8053-1400